TSTP Solution File: NUM736^1 by SETHEO---3.3